void printf2();
